#define _CRT_SECURE_NO_WARNINGS 1
//#include <stdio.h>
//int is_leap_year(int i)
//{
//    return i % 4 == 0 && i % 100 != 0 || i % 400 == 0;
//}
//int main() {
//    int arr1[] = { 31,28,31,30,31,30,31,31,30,31,30,31 };
//    int arr2[] = { 31,29,31,30,31,30,31,31,30,31,30,31 };
//    int year = 0, month = 0, day = 0;
//    scanf("%d%d%d", &year, &month, &day);
//    int i = 0;
//    int ret = 0;
//    if (is_leap_year(year))
//    {
//        for (i = 0; i < month - 1; i++)
//        {
//            ret += arr1[i];
//        }
//        ret += day;
//    }
//    else {
//        for (i = 0; i < month - 1; i++)
//        {
//            ret += arr2[i];
//        }
//        ret += day;
//    }
//    printf("%d", ret);
//    return 0;
//}

//#include<stdio.h>
//int main()
//{
//	char s[] = "\\123456\123456\t";
//	printf("%d\n", strlen(s));
//	return 0;
//}


#include <stdio.h>
#define N 2
#define M N + 1
#define NUM (M + 1) * M / 2
int main()
{
	printf("%d\n", NUM);
	return 0;
}